منابع مشابه
The Church and healing, (Studies in Church History, No. 19)
W. J. SHEILS (editor), The Church and healing, (Studies in Church History, No. 19), Oxford, Basil Blackwell for the Ecclesiastical History Society, 1982, 8vo, pp. xxiv, 440, £19.50. This collection of essays represents a thoughtful, stimulating, and generally successful cooperative attempt by medical and ecclesiastical historians to study an important topic, the relationship between the Christi...
متن کاملThe effect of church tax on church membership
In this study, we examine the effect of church tax on the church membership decision using Finnish data. We present both descriptive statistics from an opting-out website and econometric evidence exploiting the panel structure of a large individual-level data set. Our descriptive analysis shows that opting out is concentrated towards the last days of the year, i.e., the last chance to avoid pay...
متن کاملComputationalism, The Church-Turing Thesis, and the Church-Turing Fallacy
The Church–Turing Thesis (CTT) is often employed in arguments for computationalism. I scrutinize the most prominent of such arguments in light of recent work on CTT and argue that they are unsound. Although CTT does nothing to support computationalism, it is not irrelevant to it. By eliminating misunderstandings about the relationship between CTT and computationalism, we deepen our appreciation...
متن کاملChurch numerals, twice!
This paper explains Church numerals, twice. The first explanation links Church numerals to Peano numerals via the well-known encoding of data types in the polymorphic λ-calculus. This view suggests that Church numerals are folds in disguise. The second explanation, which is more elaborate, but also more insightful, derives Church numerals from first principles, that is, from an algebraic specif...
متن کاملChurch-Rosser Made Easy
The Church–Rosser theorem states that the λ-calculus is confluent under αand β-reductions. The standard proof of this result is due to Tait and Martin-Löf. In this note, we present an alternative proof based on the notion of acceptable orderings. The technique is easily modified to give confluence of the βη-calculus.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archaeological Journal
سال: 1899
ISSN: 0066-5983,2373-2288
DOI: 10.1080/00665983.1899.10852824